ashby_alert(di10,t19,[t19_14,t19_30,t19_15,t19_13]).
ashby_alert(di10,t19,[t19_16,t19_29,t19_17,t19_15]).
ashby_alert(di10,t3,[t3_11,t3_3,t3_16,t3_12]).
ashby_alert(halide10,t13,[t13_7,t13_1]).
ashby_alert(ring_size_4,t2,[t2_7,t2_12,t2_13,t2_18]).
ashby_alert(ring_size_4,t9,[t9_6,t9_3,t9_1,t9_5]).
ashby_alert(methanol,t1,[t1_38,t1_42,t1_41,t1_40,t1_43]).
ashby_alert(methanol,t14,[t14_3,t14_8,t14_7,t14_6,t14_17]).
ashby_alert(methanol,t14,[t14_11,t14_16,t14_15,t14_14,t14_18]).
ashby_alert(methanol,t18,[t18_12,t18_15,t18_14,t18_13,t18_16]).
ashby_alert(methanol,t20,[t20_2,t20_5,t20_4,t20_1,t20_19]).
ashby_alert(di281,t4,[t4_2,t4_6,t4_7,t4_1]).
ashby_alert(nitro,t28,[t28_4,t28_1,t28_2,t28_3]).
ashby_alert(nitro,t4,[t4_1,t4_2,t4_6,t4_7]).
